59. An introduction to formal specification and Z
پدیدآورنده: Potter, Ben
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Computer software -- Development,، Z )Computer program language(
رده :
QA
76
.
76
.
D47
P68
60. An introduction to formal specification and Z
پدیدآورنده: Potter, Ben.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer software - Development , Z )Computer program language(
رده :
QA
76
.
76
.
D47
P68
1990
